From f0039aa2a4367df95bda1b6cf3d4a735cafb4eb2 Mon Sep 17 00:00:00 2001 From: Christian Persch Date: Mon, 4 Oct 2010 10:36:43 -0400 Subject: [PATCH] Fix a crash in menu code https://bugzilla.gnome.org/show_bug.cgi?id=631311 --- gtk/gtkmenu.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c index d0c033868f..dbbf311753 100644 --- a/gtk/gtkmenu.c +++ b/gtk/gtkmenu.c @@ -5474,7 +5474,7 @@ get_menu_height (GtkMenu *menu) gtk_widget_get_allocation (widget, &allocation); height = allocation.height; - height -= gtk_container_get_border_width (GTK_CONTAINER (widget) + gtk_widget_get_style (widget)->ythickness) * 2; + height -= gtk_container_get_border_width (GTK_CONTAINER (widget)) + gtk_widget_get_style (widget)->ythickness * 2; if (!menu->tearoff_active) { -- 2.30.2